In mathematics, the arctic circle theorem of Jockusch, Propp & Shor (1998) states that random domino tilings of a large Aztec diamond tend to be frozen outside a certain "arctic circle".